大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

LATIN 2012: Theoretical Informatics [electronic resource] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings

0
索取号：
作者：Fern谩ndez-Baca、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Games, Actions and Social Software [electronic resource] : Multidisciplinary Aspects

0
索取号：
作者：Eijck、 Jan.、Verbrugge、 Rineke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Fundamentals of Software Engineering [electronic resource] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

0
索取号：
作者：Arbab、 Farhad.、Sirjani、 Marjan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Web and Wireless Geographical Information Systems [electronic resource] : 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings

0
索取号：
作者：Martino、 Sergio.、Peron、 Adriano.、Tezuka、 Taro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Quality, Reliability, Security and Robustness in Heterogeneous Networks [electronic resource] : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

0
索取号：
作者：Zhang、 Xi.、Qiao、 Daji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Global Trends in Information Systems and Software Applications [electronic resource] : 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

0
索取号：
作者：Krishna、 P. Venkata.、Babu、 M. Rajasekhara.、Ariwa、 Ezendu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Experimentation in Software Engineering [electronic resource]

0
索取号：
作者：Wohlin、 Claes.、Runeson、 Per.、H枚st、 Martin.、Ohlsson、 Magnus C.、Regnell、 Bj枚rn.、Wessl茅n、 Anders.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Soft Tissue Biomechanical Modeling for Computer Assisted Surgery [electronic resource]

0
索取号：
作者：Payan、 Yohan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Why Society is a Complex Matter [electronic resource] : Meeting Twenty-first Century Challenges with a New Kind of Science

0
索取号：
作者：Ball、 Philip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

UK Colloids 2011 [electronic resource] : An International Colloid and Surface Science Symposium

0
索取号：
作者：Starov、 Victor.、Griffiths、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

0
索取号：
作者：Goodloe、 Alwyn E.、Person、 Suzette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

0
索取号：
作者：Lara、 Juan.、Zisman、 Andrea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

0
索取号：
作者：Seidl、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

0
索取号：
作者：Sloane、 Anthony.、A脽mann、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Ambient Intelligence - Software and Applications [electronic resource] : 3rd International Symposium on Ambient Intelligence (ISAmI 2012)

0
索取号：
作者：Novais、 Paulo.、Hallenborg、 Kasper.、Tapia、 Dante I.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号：
作者：Flanagan、 Cormac.、K枚nig、 Barbara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.